Formulae for well formed formulae and their enumeration
نویسندگان
چکیده
منابع مشابه
Inheriting Well-formed Formulae in a Formula-Agumented Semantic Network
We examine a commercial application, a large portion of whose domain knowledge is taxonomic in nature, and investigate the suit-ability of inheritance networks for the task of reasoning about knowledge in this area. We claim that standard inheritance networks are not suuciently expressive to capture domain knowledge, and introduce formula-augmented semantic networks (FANs), a semantic network w...
متن کاملFormulae for Askey-wilson Moments and Enumeration of Staircase Tableaux
We explain how the moments of the (weight function of the) Askey Wilson polynomials are related to the enumeration of the staircase tableaux introduced by the first and fourth authors [11, 12]. This gives us a direct combinatorial formula for these moments, which is related to, but more elegant than the formula given in [11]. Then we use techniques developed by Ismail and the third author to gi...
متن کاملProjective DNF Formulae and Their Revision
Combinatorial and learnability results are proven for projective disjunctive normal forms, a class of DNF expressions introduced by Valiant. Dedicated to Prof. Peter Hammer on the occasion of his 70th birthday.
متن کاملHyperresolution for Guarded Formulae
This paper investigates the use of hyperresolution as a decision procedure and model builder for guarded formulae. In general hyperresolution is not a decision procedure for the entire guarded fragment. However we show that there are natural fragments which can be decided by hyperresolution. In particular, we prove decidability of hyperresolution with or without splitting for the fragment GF1− ...
متن کاملIndex formulae for Stark units and their solutions
Let K/k be an abelian extension of number fields with a distinguished place of k that splits totally in K. In that situation, the abelian rank one Stark conjecture predicts the existence of a unit in K, called the Stark unit, constructed from the values of the L-functions attached to the extension. In this paper, assuming the Stark unit exists, we prove index formulae for it. In a second part, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society
سال: 1974
ISSN: 0004-9735
DOI: 10.1017/s1446788700016736